Performance Modelling for Avionics Systems
نویسندگان
چکیده
The new paradigm of Integrated Modular Avionics (IMA) [1] necessitates the analysis and validation of non-functional requirements for IMA systems. This includes the analysis of their performability. In this paper we present an initial approach of a performance modelling framework, based on the SAE standardised modelling and analysis language AADL [2, 3], to integrate performance analysis in the toolchain of this practical context. The proposed framework is a hybrid of static and dynamic systems analysis and includes aspects of performance evaluation.
منابع مشابه
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
The paper discusses some practical examples of how Model Driven Architecture (MDA) technology is being applied to some vital issues in the development of avionics systems. A study primarily aimed at addressing the issue of Software Method and Tool obsolescence was conducted by a number of BAE Systems’ sites and York University. It investigated model transformation from legacy Teamwork1 models t...
متن کاملCapturing Timing Requirements Formally in Amn
This paper classi es the timing requirements that arise in embedded avionics systems. A typical avionics system motivates the work. Its timed specication is presented, from which we extract guiding principles for developing Timed Abstract Systems. A discussion focuses on the insights that can be gained when modelling the timed requirements formally within AMN.
متن کاملFormal Modelling and Analysis of Mission-Critical Software in Military Avionics Systems
A typical avionics mission system of a military aircraft is a complex real-time system consisting of a mission control computer, different kinds of sensors, navigation and communication subsystems, and various displays and stores; all interconnected by a number of serial data buses. The mission capability is increasingly implemented in the mission-critical software and the robustness of this so...
متن کاملFormal Model-Driven Development of Fault Tolerant Control Systems
Fault tolerance techniques aim at ensuring that a system continues to operate properly even in the presence of faults. Fault tolerance is especially important in safety-critical systems, where system failures might have catastrophic consequences. Transient faults – temporal defects within the system – are typical for control systems. However, they require complex mechanisms to tolerate them. In...
متن کاملDiagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft
Electrical power systems play a critical role in spacecraft and aircraft. This paper discusses our development of a diagnostic capability for an electrical power system testbed, ADAPT, using probabilistic techniques. In the context of ADAPT, we present two challenges, regarding modelling and real-time performance, often encountered in real-world diagnostic applications. To meet the modelling ch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009